System Dependence Net : An Interprocedural Program Dependence Representation for occam 2 Programs
نویسندگان
چکیده
An interprocedural program dependence representation named the System Dependence Net (SDN) for occam 2 programs is presented. It is an extension of existing dependence representations to represent the full range of an occam 2 program in the sense that we construct the SDN to represent not only multiple procedures but also concurrency issues in the program. The SDN can be used as an underlaying representation to develop software engineering tools for occam 2 programs.
منابع مشابه
A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance
Software maintenance is a costly process because of the reason that each modi cation to a program must take into account many complex dependence relationships in the existing software. An understanding of program dependences is therefore an inevitable step to e cient software change. In this paper we propose a dependence-based representation named the system dependence net (SDN), which extends ...
متن کاملStatic Slicing of Concurrent Object-Oriented Programs
Program slicing has many applications such as program debugging, testing, maintenance, and complexity measurement. This paper concerns the problem of slicing concurrent object-oriented programs that has not been addressed in the literatures until now. To solve this problem, we propose a new program dependence representation named the system dependence net (SDN), which extends previous program d...
متن کاملImproved interprocedural slicing algorithm
Horwitz, Reps, and Binkley (TOPLAS, 90) present an algorithm for interprocedural program slicing using a system dependence graph (SDG) representation of programs. In order to identify the set of statements in a slice their algorithm makes two traversals over the SDG; effectively traversing some edges twice. This paper presents a one pass algorithm which traverses each edge in the slice at most ...
متن کاملSystem - Dependence - Graph - Based Slicing of Programs
Many algorithms for automating software engineering tasks require program slices. To be applicable to large software systems, these slices must be computed in-terprocedurally. Slicing techniques based on the system dependence graph (SDG) provide one approach for computing interprocedural slices, but these techniques are deened only for programs in which called procedures necessarily return to c...
متن کاملA System Dependence Net Generator for Ada Programs
An explicit representation of various dependence relationship in a program has many application in software engineering. System Dependence Net is a model to represent program dependences in a concurrent program which consists of multiple procedures. This paper presents how to generate System Dependence Net for Ada 95 programs automatically.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997